Parallel Garbage Collection and Graph Reducer
نویسندگان
چکیده
In this paper' we investigate the problem of parallel evaluation of functional programs. We have developed a novel approach to deal with sharing in graph reduction. Share nodes are introduced to explicitly handle sharing. By using share nodes, we have a garbage collection method that is on-the-fly (real time), parallel. distributed. and incremental. In our parallel graph reducer, copying can be done in parallel to make an exponential growth of program tree nodes. Since each node represents a simple operation, the growth of program trees i s a natural distribution of computation work. Load balancing becomes very easy and can be done automatically. A simulator is implemented to simulate a tree structured parallel computer to run our graph reducer. Examples such as parallel matrix addition and multiplication are tested.
منابع مشابه
Parallel Garbage Collection for Shared Memory Multiprocessors
We present a multiprocessor “stop-the-world” garbage collection framework that provides multiple forms of load balancing. Our parallel collectors use this framework to balance the work of root scanning, using static overpartitioning, and also to balance the work of tracing the object graph, using a form of dynamic load balancing called work stealing. We describe two collectors written using thi...
متن کاملCommunication Issues regarding Parallel Functional Graph Rewriting
Efficient communication is the basis of an implementation of a parallel language on a distributed machine architecture. This article handles about the communication mechanism that is needed to support parallel graph rewriting in Concurrent Clean. The danger of deadlock is imminent at several levels of such a system. Communication problems and their solutions are closely related to memory manage...
متن کاملLively Linear Lisp — ' Look Ma , No Garbage ! ' 1
Linear logic has been proposed as one solution to the problem of garbage collection and providing efficient "updatein-place" capabilities within a more functional language. Linear logic conserves accessibility, and hence provides a mechanical metaphor which is more appropriate for a distributed-memory parallel processor in which copying is explicit. However, linear logic's lack of sharing may i...
متن کاملGraph Structure Management in Parallel Symbolic Systems
We discuss the efficient exploitation of parallelism in systems where a common data structure is accessed, using message-passing, by a set of parallel processes. In particular, we provide a framework in which such systems can be abstractly represented and present a range of definitions in terms of constraints upon the available parallelism. In addition to considering a particular class of probl...
متن کاملPractical Distributed Garbage Collection for Networks with Synchronous Clocks and Message Delay
Distributed garbage collection over a message passage network i s discussed in this paper. Traditionally, this can be done b y reference counting, which is fast but cannot reclaim cyclic structures or b y graph traversal, e.g. mark-and-sweep or time stamping, which is capable of reclaiming cyclic structures but is slow. We propose a combined scheme which is fast in reclaiming acyclic garbage an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993